Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
951	Increasing Interaction and Support in the Formal Languages and Automata Theory Course∗ [Extended Abstract] Susan H. Rodger Jinghui Lim Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2007-04-07 14:47:47 Applied mathematics Mathematics Finite-state machine Pumping lemma for regular languages Theory of computation Mealy machine Moore machine Logic Formal grammar Models of computation Automata theory Formal languages
952	The Default OLP Configuration File open-logic-config.sty OpenLogic Project[removed]02780ba Description Add to Reading List Source URL: people.ucalgary.ca Language: English - Date: 2015-03-30 12:13:09 Predicate logic Logical syntax Metalogic Well-formed formula Proposition Function Non-logical symbol Symbol Interpretation Logic Mathematical logic Formal languages
953	Turning Automata Theory into a Hands-on Course ∗ Susan H. Rodger Bart Bressler Thomas Finley Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2006-02-24 16:07:36 Automata theory Turing machine Computer science Formal languages Deterministic finite automaton Finite-state machine Unrestricted grammar Nondeterministic finite automaton Pushdown automaton Theory of computation Models of computation Theoretical computer science
954	to be published in: Foundations of Science 4(1), 1999 Advantages and limitations of formal expression Francis HEYLIGHEN * Center "Leo Apostel" Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:22 Philosophical logic Formal languages Philosophy of language Philosophy of mathematics Semantics Expression Regular expression Meaning Fuzzy logic Logic Mathematics Philosophy
955	Window subsequence problems for compressed texts? Patrick C´egielski1, Ir`ene Guessarian2 , Yury Lifshits3 , Yuri Matiyasevich3 1 LACL, UMR-FRE 2673, Universit´e Paris 12, Route foresti`ere Hurtault, F-77300 Add to Reading List Source URL: yury.name Language: English - Date: 2008-11-06 21:42:34 Pattern matching Formal languages Lempel–Ziv–Welch Archive formats Substring Compressed pattern matching Compress LZ77 and LZ78 Diff Computing Data compression System software
956	A Verified Formal Model of a VC Generator R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street Reading UK RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:38:35 Applied mathematics Mathematics Program logic Model theory Hoare logic Syntactic predicate Formal verification Programming language Semantics of programming languages Theoretical computer science Formal methods Logic in computer science
957	A Collection of Tools for Making Automata Theory and Formal Languages Come Alive Anna O. Bilska, Kenneth H. Leider, Magdalena Procopiuc, Octavian Procopiuc, Susan H. Rodger, Jason R. Salemme and Edwin Tsang Duke Universi Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1998-09-22 13:03:44 Software engineering Parsing Combinatorics LL parser Formal grammar Bottom-up parsing Automata theory LR parser Context-free grammar Formal languages Programming language implementation Compiler construction
958	Running Ometa Parsers Backwards for Source to Source Translation Ted Kaehler and Alessandro Warth VPRI Memo M[removed] Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:16:15 Computing Parsing Compiler construction Compiler-compiler Smalltalk Syntax Abstract syntax tree LALR parser Recursive descent parser Software engineering Formal languages Computer programming
959	4.2 The Erd˝ os–Szekeres theorem 39 We will be interested in the length of the longest increasing and decreasing Add to Reading List Source URL: lovelace.thi.informatik.uni-frankfurt.de Language: English - Date: 2007-08-30 03:42:28 Elementary mathematics Dynamic programming Formal languages Longest increasing subsequence Subsequence Sequence Erdős–Szekeres theorem Mathematics Discrete mathematics Combinatorics
960	Multi-dimensional sets recognizable in all abstract numeration systems Add to Reading List Source URL: www.cant.ulg.ac.be Language: English - Date: 2011-06-10 02:41:38 Formal languages Automata theory

UPDATE